$\forall$$i$:$\mathbb{Z}$, $A$:(\{$i$ + 1$\ldots\,$\}$\rightarrow\mathbb{P}$). \{$\forall$$j$:$\mathbb{Z}$. ($i$ $<$ $j$) $\Rightarrow$ $A$($j$)\} $\Leftarrow\!\Rightarrow$ \{$\forall$$j$:\{$i$ + 1$\ldots\,$\}. $A$($j$)\}